Search results for "Coloured Petri net"

showing 2 items of 2 documents

A task scheduling algorithm for HPC applications using colored stochastic Petri Net models

2017

The increase in demand for High Performance Computing (HPC) scientific applications motivates the efforts to reduce costs of running these applications. The problem to solve is that of dynamical multi-criterial optimal scheduling of an application on a HPC platform with a high number of heterogeneous nodes. The solution proposed by the authors is a HPC hardware-software architecture that includes the infrastructure for two level (node and inter-node level) adaptive load balancing. The article presents the development of an Coloured Petri Net(CPN) for such an architecture. The model was used for the development of a dynamic distributed algorithm for the scheduling problem. The CPN allowed a …

Job shop schedulingComputer scienceDistributed computingColoured Petri net020206 networking & telecommunications02 engineering and technologyPetri netLoad balancing (computing)Load managementDistributed algorithm0202 electrical engineering electronic engineering information engineeringStochastic Petri net020201 artificial intelligence & image processingFormal verification2017 13th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)
researchProduct

Petri Net Modelling of the Starch Enzymatic Liquefaction

2012

This paper investigates the use of the Petri Net modelling language for the description and analysis of the enzymatic reactions that are used for the starch liquefaction. The Coloured Petri Net formalism supported by the CPN Tools modelling and simulation environment is used. The pools of substrates and products are represented as the places and the possible reactions as the transition of the net. The concurrent reactions are modelled trough transitions that are enabled at the same time. The occurrence probabilities associated with each of these concurrent transitions are chosen as the model parameters. The analysis of the specific properties of the model is used to fit the model to data fr…

Mathematical modelStarchGeography Planning and DevelopmentLiquefactionColoured Petri netModel parametersManagement Monitoring Policy and LawPetri netchemistry.chemical_compoundStarch hydrolysischemistryCPN ToolsBiological systemMathematicsBulletin of University of Agricultural Sciences and Veterinary Medicine Cluj-Napoca. Agriculture
researchProduct